DisCSP.Exception
Class NotBinaryConstrException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          DisCSP.Exception.NotBinaryConstrException

All Implemented Interfaces:

java.io.Serializable

public class NotBinaryConstrException

extends java.lang.Exception

See Also:

Serialized Form

Field Summary

Fields inherited from class java.lang.Exception

Constructor Summary

NotBinaryConstrException()
Costruttore di NotBinaryConstrException

NotBinaryConstrException(java.lang.String name)
Costruttore di NotBinaryConstrException

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NotBinaryConstrException

public NotBinaryConstrException()

Costruttore di NotBinaryConstrException

NotBinaryConstrException

public NotBinaryConstrException(java.lang.String name)

Costruttore di NotBinaryConstrException

Parameters:

name - il nome della variabile su cui si è tentato di inserire un vincolo riflessivo